@book{alma994848363502466,
author = {Kahrs, Stefan.},
address = {Edinburgh},
booktitle = {Interfaces and extended ML},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-283},
title = {Interfaces and extended ML / by Stefan Khars, Donald Sannella, Andrzej Tarlecki.},
year = {1994},
}

@book{alma995323013502466,
author = {Kahrs, Stefan.},
address = {Edinburgh},
booktitle = {The definition of Extended ML : [version 1]},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-300},
title = {The definition of Extended ML : [version 1] / by Stafan Khars, Donald Sannella and Andrzej Tarlecki.},
year = {1994},
}

@book{alma995327703502466,
author = {Kahrs, Stefan.},
address = {Edinburgh},
booktitle = {The definition of Extended ML : a gentle introduction},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 95-322},
title = {The definition of Extended ML : a gentle introduction / by Stefan Kahrs, Donald Sannella & Andrzej Tarlecki.},
year = {1995},
}

@book{alma992351493502466,
author = {Harper, Robert.},
address = {Edinburgh},
booktitle = {Standard ML},
keywords = {Programming languages (Electronic computers)},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 86-2},
title = {Standard ML / by Robert Harper, David MacQueen, Robin Milner.},
year = {1986},
}

@book{alma993915203502466,
author = {Harper, Robert.},
address = {Edinburgh},
booktitle = {Higher-order modules and the phase distinction},
keywords = {ML (Computer program language)},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 90-112},
title = {Higher-order modules and the phase distinction / by Robert Harper, John C. Mitchell, Eugenio Moggi.},
year = {1990},
}

@book{alma994254923502466,
author = {Fachini, E.},
address = {Edinburgh},
booktitle = {Classes of systolic Y-tree automata and a comparison with systolic trellis automata},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-166},
title = {Classes of systolic Y-tree automata and a comparison with systolic trellis automata / by E. Fachini, A. Maggiolo-Schettini, D. Sangiorgi.},
year = {1991},
}

@book{alma994635623502466,
author = {Pym, David J.},
address = {Edinburgh},
booktitle = {Logic programming via proof-valued computations},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-246},
title = {Logic programming via proof-valued computations / by David J. Pym and Lincoln A. Wallen.},
year = {1993},
}

@book{alma996763993502466,
author = {Gilmore, Stephen.},
address = {Edinburgh},
booktitle = {Dynamic ML without dynamic types},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 97-378},
title = {Dynamic ML without dynamic types / by Stephen Gilmore, Dilsun Kírlí and Christopher Walton.},
year = {1997},
}

@book{alma993424123502466,
author = {Gordon, Michael J. C.},
address = {Edinburgh},
booktitle = {Edinburgh LCF},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 11-77},
title = {Edinburgh LCF / by M. Gordon, R. Milner and C. Wadsworth.},
year = {1977},
}

@misc{alma993169423502466,
author = {Horton, Thomas Bolton.},
address = {Edinburgh},
booktitle = {The effectiveness of the stylometry of function words in discriminating between Shakespeare and Fletcher},
keywords = {Fletcher, John, 1579-1625 -- Authorship},
language = {eng},
publisher = {University of Edinburgh, Department of Computer Science},
title = {The effectiveness of the stylometry of function words in discriminating between Shakespeare and Fletcher / Thomas Bolton Horton.},
year = {1987},
}

@inproceedings{alma99325473502466,
address = {London},
keywords = {Integrated circuits -- Large scale integration},
language = {eng},
lccn = {81068035},
organization = {VLSI 81 (Conference) (1981 : University of Edinburgh)},
publisher = {Academic Press},
title = {VLSI 81 : very large scale integration ; [proceedings of the first International Conference on Very Large Scale Integration held at the University of Edinburgh from 18-21 August 1981 / organised by the University of Edinburgh Departments of Computer Science and Electrical Engineering and the Wolfson Microelectronics Institute, with the assistance of CEP Consultants Ltd ...].},
year = {1981},
}

@inproceedings{alma994329073502466,
address = {Amsterdam ;},
keywords = {Electronic digital computers -- Evaluation},
language = {eng},
lccn = {90043608},
organization = {International Symposium on Computer Performance Modeling, Measurement, and Evaluation (14th : 1990 : Edinburgh, Scotland)},
publisher = {North-Holland},
title = {Performance '90 : proceedings of the 14th IFIP WG 7.3 International Symposium on Computer Performance Modelling, Measurement, and Evaluation, Edinburgh, Scotland, 12-14 September 1990 / edited by P.J.B. King, I. Mitrani, R.J. Pooley.},
year = {1990},
}

@book{alma995297983502466,
address = {Edinburgh},
booktitle = {Computer systems research at Edinburgh},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-1-94},
title = {Computer systems research at Edinburgh / by the Computer Systems Group.},
year = {1995},
}

@book{alma995298003502466,
author = {Candlin, Rosemary.},
address = {Edinburgh},
booktitle = {The POSIE project : studies to support the design of operating systems for multicomputers},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-15-95},
title = {The POSIE project : studies to support the design of operating systems for multicomputers / by Rosemary Candlin.},
year = {1995},
}

@book{alma995298353502466,
address = {Edinburgh},
booktitle = {Specifications in stochastic process algebra for a robot control problem},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-7-94},
title = {Specifications in stochastic process algebra for a robot control problem / by Stephen Gilmore [and others].},
year = {1994},
}

@book{alma995297843502466,
author = {Martin, Paul.},
address = {Edinburgh},
booktitle = {The formal specification in Z of task migration on the testbed multicomputer},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-2-94},
title = {The formal specification in Z of task migration on the testbed multicomputer / by Paul Martin.},
year = {1994},
}

@book{alma995297833502466,
author = {Martin, Paul.},
address = {Edinburgh},
booktitle = {The performance profiling of a load balancing multicomputer},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-3-94},
title = {The performance profiling of a load balancing multicomputer / by Paul Martin.},
year = {1994},
}

@book{alma995955213502466,
author = {Knafla, Nils.},
address = {Edinburgh},
booktitle = {A prefetching techniques for object-oriented databases},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CGS-28-97},
title = {A prefetching techniques for object-oriented databases / Nils Knafla.},
year = {1997},
}

@book{alma995297873502466,
author = {Harris, Tim J.},
address = {Edinburgh},
booktitle = {The use of caching in decoupled multiprocessors with shared memory},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-5-94},
title = {The use of caching in decoupled multiprocessors with shared memory / by Tim Harris and Nigel Topham.},
year = {1994},
}

@book{alma995297973502466,
author = {Pooley, R. J.},
address = {Edinburgh},
booktitle = {A study of performance analysis tools in Europe},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-CSG- ; 12-95},
title = {A study of performance analysis tools in Europe / by Rob Pooley.},
year = {1995},
}

@book{alma995298073502466,
author = {Zurek, Thomas.},
address = {Edinburgh},
booktitle = {Optimization strategies for parallel linear recursive query processing},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-16-95},
title = {Optimization strategies for parallel linear recursive query processing / by Thomas Zurek & Peter Thanisch.},
year = {1995},
}

@book{alma995297863502466,
author = {Mujica, Isabel Rojas.},
address = {Edinburgh},
booktitle = {Comparison of three SPN packages : GreatSPN1.6, DSPNexpress1.2, SPNP3.0},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-4-94},
title = {Comparison of three SPN packages : GreatSPN1.6, DSPNexpress1.2, SPNP3.0 / by Isabel Rojas Mujica.},
year = {1994},
}

@book{alma995297963502466,
author = {Pooley, R. J.},
address = {Edinburgh},
booktitle = {Performance evaluation of computer systems},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-13-95},
title = {Performance evaluation of computer systems / by Rob Pooley.},
year = {1995},
}

@book{alma995298093502466,
author = {Chochia, George.},
address = {Edinburgh},
booktitle = {Implementing the hierarchical PRAM on the 2D mesh : Analyses and experiments},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-10-95},
title = {Implementing the hierarchical PRAM on the 2D mesh : Analyses and experiments / by George Chochia, Murray Cole & Todd Heywood.},
year = {1995},
}

@book{alma995298403502466,
author = {Boeres, Cristina.},
address = {Edinburgh},
booktitle = {On the scope of applicability of the ETF algorithm},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-17-95},
title = {On the scope of applicability of the ETF algorithm / by Crista Boeres, George Chochia and Peter Thanisch.},
year = {1995},
}

@book{alma995298133502466,
author = {Chochia, George.},
address = {Edinburgh},
booktitle = {Lower bounds on average time for random destination mesh routing and their utility as performance predictors for PRAM simulation},
language = {eng},
publisher = {University of Edinburgh},
series = {CSSG Report series ; ECS-CSG-18-95},
title = {Lower bounds on average time for random destination mesh routing and their utility as performance predictors for PRAM simulation / by George Chochia, Murray Cole & Todd Heywood.},
year = {1995},
}

@book{alma995298023502466,
author = {Heywood, Todd.},
address = {Edinburgh},
booktitle = {Dynamic randomized simulation of hierarchical PRAMS on meshes},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-9-95},
title = {Dynamic randomized simulation of hierarchical PRAMS on meshes / by Todd Heywood & Claudia Leopold.},
year = {1995},
}

@book{alma995297913502466,
author = {Donatelli, Susanna.},
address = {Edinburgh},
booktitle = {A comparison of performance evaluation process algebra and generalized stochastic Petri nets},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-6-94},
title = {A comparison of performance evaluation process algebra and generalized stochastic Petri nets / by S. Donatelli, J. Hillston & M. Ribaudo.},
year = {1994},
}

@book{alma995298013502466,
author = {Ganesh, A. J.},
address = {Edinburgh},
booktitle = {Large deviations in the sojourn time for queues in series},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-14-95},
title = {Large deviations in the sojourn time for queues in series / by A.J. Ganesh.},
year = {1995},
}

@book{alma995297953502466,
author = {Pooley, R. J.},
address = {Edinburgh},
booktitle = {Integrating behavioural and simulation modelling},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-8-95},
title = {Integrating behavioural and simulation modelling / by Rob Pooley.},
year = {1995},
}

@book{alma995955133502466,
author = {Chochia, George.},
address = {Edinburgh},
booktitle = {Synchronizing arbitrary processor groups in dynamically partitioned 2-D meshes},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-25-96},
title = {Synchronizing arbitrary processor groups in dynamically partitioned 2-D meshes / George Chochia, Murray Cole, Todd Heywood.},
year = {1996},
}

@book{alma995298063502466,
author = {Cusack, Stephen D. (Stephen D.)},
address = {Edinburgh},
booktitle = {Simulation experiments with protocol interactions in ATM networks},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-11-95},
title = {Simulation experiments with protocol interactions in ATM networks / by Stephen Cusack and Rob Pooley.},
year = {1995},
}

@book{alma995955343502466,
author = {Fiore, Marcelo P. (Marcelo Pablo)},
address = {Edinburgh},
booktitle = {First steps on the representation of domains : (extended abstract)},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 95-331},
title = {First steps on the representation of domains : (extended abstract) / Marcelo P. Fiore.},
year = {1995},
}

@book{alma995955103502466,
author = {Fernandes, Marcio Merino.},
address = {Edinburgh},
booktitle = {Using queues for register file organization in VLIW architectures},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-29-97},
title = {Using queues for register file organization in VLIW architectures / Marcio Merino Fernandes and Josef Llosa and Nigel Topham.},
year = {1997},
}

@book{alma995955173502466,
author = {Yang, Kann-Jang.},
address = {Edinburgh},
booktitle = {Process modelling to support object-oriented software production},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-26-96},
title = {Process modelling to support object-oriented software production / Kann-Jang Yang & Rob Pooley.},
year = {1996},
}

@book{alma998980633502466,
author = {McAdam, Bruce J.},
address = {Edinburgh},
booktitle = {Graphs for recording type information},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 99-415},
title = {Graphs for recording type information / by Bruce J. McAdam.},
year = {1999},
}

@book{alma998980673502466,
author = {Kirli, Dilsun.},
address = {Edinburgh},
booktitle = {A polymorphic type and effect system for detecting mobile functions},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 99-413},
title = {A polymorphic type and effect system for detecting mobile functions / by Dilsun Kirli.},
year = {1999},
}

@book{alma995955153502466,
author = {Al-Tawil, K. M. (Khalid M.)},
address = {Edinburgh},
booktitle = {Fault tolerance of hypercube-based multicomputers : a survey},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-CSG- ; 26-96},
title = {Fault tolerance of hypercube-based multicomputers : a survey / Khalid M. al-Tawil, Roland N. Ibbett.},
year = {1996},
}

@misc{alma9924615914902466,
author = {Adams, John Colin},
keywords = {virtual memory systems},
language = {eng},
publisher = {The University of Edinburgh},
title = {Performance, measurement and evaluation of time-shared operating systems},
year = {1977},
}